2

Equivalence problem for finitely ambiguous finite automata over semigroups

Year:
1979
Language:
english
File:
PDF, 501 KB
english, 1979
4

An undecidable problem for countable markov chains

Year:
1991
Language:
english
File:
PDF, 620 KB
english, 1991
5

Commutative closure of context-free languages

Year:
1978
Language:
english
File:
PDF, 746 KB
english, 1978
6

Minimal undecidable identity problem for finite-automaton mappings

Year:
1983
Language:
english
File:
PDF, 469 KB
english, 1983
7

Identity problem for the algebra of regular events over semigroups

Year:
1977
Language:
english
File:
PDF, 178 KB
english, 1977
8

Axiomatic theory of partially continuous functions and the Peano curve

Year:
1993
Language:
english
File:
PDF, 697 KB
english, 1993
9

Problems of inclusion and equivalence for program schemata and formal languages

Year:
1993
Language:
english
File:
PDF, 750 KB
english, 1993
10

One-to-one mappings defined by finite transformers

Year:
1995
Language:
english
File:
PDF, 587 KB
english, 1995
11

Equivalence problem of mappings relative to languages

Year:
1996
Language:
english
File:
PDF, 594 KB
english, 1996
12

Equivalence of transducers relative to regular languages

Year:
1995
Language:
english
File:
PDF, 104 KB
english, 1995
15

Operations on R-numbers

Year:
1990
Language:
english
File:
PDF, 612 KB
english, 1990
16

Algorithmic questions for real functions

Year:
1987
Language:
english
File:
PDF, 764 KB
english, 1987
17

Classe of functions defined by transducers

Year:
1990
Language:
english
File:
PDF, 665 KB
english, 1990
18

Equivalence problem for finitely iterated counter machines

Year:
1980
Language:
english
File:
PDF, 245 KB
english, 1980
19

Recursive-determinate abstract automata

Year:
1981
Language:
english
File:
PDF, 593 KB
english, 1981
22

Equivalence problem for transformers on Σ-trees with finite-turn counters

Year:
1984
Language:
english
File:
PDF, 615 KB
english, 1984
24

Regular algebra of functionals of labeled trees

Year:
1985
Language:
english
File:
PDF, 741 KB
english, 1985
25

Generators of regular languages

Year:
1979
Language:
english
File:
PDF, 520 KB
english, 1979
26

Solvable problems for transformers with reversal-bounded counters

Year:
1985
Language:
english
File:
PDF, 1.35 MB
english, 1985
27

Strict sets and finite semigroup coverings

Year:
1980
Language:
english
File:
PDF, 518 KB
english, 1980
28

Macrotransducers on labeled trees and partially continuous operators

Year:
1992
Language:
english
File:
PDF, 698 KB
english, 1992
29

Reversal-bounded multicounter Σ-machines

Year:
1988
Language:
english
File:
PDF, 599 KB
english, 1988
30

Properties of Δ-functions

Year:
1994
Language:
english
File:
PDF, 394 KB
english, 1994
31

Interpolation of entire functions with infinitely many nodes

Year:
1994
Language:
english
File:
PDF, 380 KB
english, 1994
32

Representation of linear functionals over partially continuous functions

Year:
1992
Language:
english
File:
PDF, 632 KB
english, 1992
33

Construction of decidable singular theories of two successor functions with an extra predicate

Year:
1984
Language:
english
File:
PDF, 645 KB
english, 1984
34

Quasirelations in a free group and transformator equivalence problems

Year:
1986
Language:
english
File:
PDF, 1.77 MB
english, 1986
35

Finite transformers for construction of fractal curves

Year:
1994
Language:
english
File:
PDF, 598 KB
english, 1994
36

Recognition of perfect labeled trees with regularity condition

Year:
1996
Language:
english
File:
PDF, 167 KB
english, 1996
37

Decidability problems for meta-R-functions

Year:
1995
Language:
english
File:
PDF, 527 KB
english, 1995
38

Fractal sets defined by finite transducers

Year:
1996
Language:
english
File:
PDF, 624 KB
english, 1996
39

Using macrotransducers to specify partial continuous operators in metric spaces

Year:
1996
Language:
english
File:
PDF, 501 KB
english, 1996
40

On axiomatizations of Boolean algebras

Year:
1997
Language:
english
File:
PDF, 332 KB
english, 1997
41

Another representation of finite transducers over real numbers

Year:
1997
Language:
english
File:
PDF, 737 KB
english, 1997
42

Solvability problems for ND-systems

Year:
2000
Language:
english
File:
PDF, 327 KB
english, 2000
43

Finitely many-valued regular events in a direct product of semigroups

Year:
1997
Language:
english
File:
PDF, 1.39 MB
english, 1997
44

Deterministic acceptors for indexed languages

Year:
1997
Language:
english
File:
PDF, 1.16 MB
english, 1997
45

Equivalence problems for transducers with a bounded number of states

Year:
1997
Language:
english
File:
PDF, 551 KB
english, 1997
46

R-transformers and fractal curves

Year:
1999
Language:
english
File:
PDF, 1.00 MB
english, 1999
47

Real functions defined by transducers

Year:
1998
Language:
english
File:
PDF, 957 KB
english, 1998
48

Language recognition by two-way deterministic pushdown automata

Year:
2004
Language:
english
File:
PDF, 77 KB
english, 2004
49

A method of specification of fractal sets

Year:
2009
Language:
english
File:
PDF, 128 KB
english, 2009
50

On Descriptive Systems

Year:
2001
Language:
english
File:
PDF, 50 KB
english, 2001